Formalisation and Validation of the Std Logic 1164 and Numeric Std VHDL Packages using the NqthmTheorem
نویسندگان
چکیده
When synthesizing complex digital circuits, it is extremely important to have high conndence in the library of components and functions. This paper deals with the validation of two standardized VHDL packages that were developed for circuit synthesis and which, at the same time, are compatible with enhanced multi-valued simulation tools. The Boyer-Moore theorem prover has been used for this purpose. The paper introduces an eecient and general strategy for utilizing the basic concepts of the Boyer-Moore system to prove the theorems that establish the mathematical properties of the package functions.
منابع مشابه
A Synthesizable Low Power VHDL Model of the Exact Solution of Three Dimensional Hyperbolic Positioning System
This paper presents a synthesizable low power VHDL model of a three-dimensional hyperbolic positioning system algorithm. The algorithm derives the equations needed to obtain an exact solution for the three dimensional location of a mobile given the locations of four fixed stations (like a GPS satellite or a base station in a cell) and the signal time of arrival (TOA) from the mobile to each sta...
متن کاملThe Effectiveness of a Behavioral Program on Severity of Urinary Incontinence Among Iranian Women With Multiple Sclerosis
Background and aims: <span style="color: #221e1f; font-family: Optima ...
متن کاملThe Relationship Between Internet Addiction and Depression in the Iranian Users: A Systematic Review and Meta-analysis
Background and aims: <span style="color: #221e1f; font-family: Optima ...
متن کاملFamily Needs of Patients Admitted to the Intensive Care Units
Background and aims: <span style="color: #221e1f; font-family: Optima LT Std,...
متن کاملThe Relationship Between Caesarean and Neonatal Hypothyroidism in Chadegan City
Background and aims: <span style="color: #221e1f; font-family: Optima ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007